Sur un théorème de monge et sur une généralisation de ce théorème

Deux Remarques sur un Théorème de S. Eilenberg

— We give hère a proof of the « cross section theorem » that is slightly différent from the original one. This allows us not only to show the existence of a rational cross section ofany rational set but also to describe such a cross section by means ofthe lexicographie ordering of the words. With some examples we also show that if we use the ordering ofwords by length, instead of the lexicograp...

Analyse de complexité pour un théorème de Hall sur les fractions continues

We give in this paper a polynomial time controlled version of a theorem of M. Hall : every real number can be written as the sum of two irrational numbers whose dfcs contain only 1, 2 3 or 4..

Sur une souche de BRUCELLA d'origine humaine

Une preuve formelle et intuitionniste du théorème de complétude de la logique classique

Il est bien connu que la correspondance de Curry-Howard permet d’associer un programme, sous la forme d’un λ-terme, à toute preuve intuitionniste, formalisée dans le calcul des prédicats du second ordre (voir, par exemple [3]). Cette correspondance a été étendue, assez récemment, à la logique classique moyennant une extension convenable du λ-calcul (voir [1,4,5,6]). Chaque théorème formalisé en...

Sur une souche de Pasteurella agent d'abcès enzootiques du lapin